Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
471	Evaluating Resilience Strategies Based on an Evolutionary Multi-agent System Kazuhiro Minami, Tomoya Tanjo, and Hiroshi Maruyama Institute of Statistical Mathematics, Tokyo, Japan Email: {kminami, tanjo, hm2}@ism.ac.jp Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-10-28 05:43:11 Artificial intelligence Multi-agent systems Mathematical optimization Agent-based model Constraint satisfaction problem Genetic algorithm Psychological resilience Computing Constraint programming Complex systems theory Science
472	D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-14 09:53:05 Constraint programming Mathematics DPLL algorithm Knowledge compilation Connectivity Influence diagram Bayesian network Unit propagation Theoretical computer science Automated theorem proving Applied mathematics
473	AND/OR Search Spaces for Graphical Models Rina Dechter and Robert Mateescu Donald Bren School of Information and Computer Science University of California, Irvine, CAAbstract Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2006-11-07 17:35:27 Constraint programming Bayesian statistics Statistical models Networks Tree decomposition Bayesian network Constraint satisfaction Markov random field Graph Graph theory Mathematics Graphical models
474	Constraint databases: A tutorial introduction∗ Jan Van den Bussche Limburg University, Belgium 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:47 Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic
475	Scheduling Sport Tournaments using Constraint Logic Programming Andrea Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Applied mathematics Mathematical optimization Combinatorial optimization Complexity classes Constraint logic programming Logic programming Constraint Matching Assignment problem Theoretical computer science Constraint programming Computational complexity theory
476	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE/ACM TRANSACTIONS ON NETWORKING 1 ILP Formulations for p-Cycle Design Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-01-15 05:37:40 Topology Mathematics Theoretical computer science Applied mathematics Constraint programming Network flow Network topology Flow network
477	Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:44:35 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Linear programming Local consistency Theoretical computer science Applied mathematics Mathematics
478	An Overview of the Saturn Project Alex Aiken Suhabe Bugrara Isil Dillig Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-04-17 03:46:58 Computer programming Constraint programming Declarative programming Constraint satisfaction Logic programming Analysis Eval Software engineering Programming paradigms Computing
479	A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-06-09 16:20:27 Constraint programming Logic in computer science Boolean algebra Automated theorem proving Mathematical logic Boolean satisfiability problem DPLL algorithm Local search Davis–Putnam algorithm Theoretical computer science Applied mathematics Mathematics
480	LNCS 5123 - <TEX>{CSIsat}</TEX>: Interpolation for LA+EUF Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Interpolation Satisfiability Modulo Theories Solver Linear programming Theoretical computer science Applied mathematics Mathematics

UPDATE